			<ul>
						<li><a class="<?php if( isset($highlight) && $highlight === 'users' )  echo 'highlight' ?>" href="/portal/users">Manage Users</a></li>
						<li><a class="<?php if( isset($highlight) && $highlight === 'professors' )  echo 'highlight' ?>" href="/portal/professors">Manage Professors</a></li>
						<li><a class="<?php if( isset($highlight) && $highlight === 'courses' )  echo 'highlight' ?>" href="/siteadmin">Manage Courses</a></li>
						<li><a class="<?php if( isset($highlight) && $highlight === 'filters' )  echo 'highlight' ?>" href="/siteadmin/filters">Forum Word Filter</a>
			</ul>

